#include <stdio.h>

int
main(int argc, char *argv[])
{
    int *p = (int *) 0x192832413;
    *p = 0xdeadbeef;
}
